arXiv and ar5iv Integration Buttons

Adds navigation buttons between arXiv and ar5iv pages

As of 19. 05. 2025. See the latest version.