v2.5.0

Updates:

• Respect local CI changes and push directly instead of going through a merge sequence (#53)

Developer updates:

• Improve CI run stability by avoiding parallel jobs (#53)
• Properly use actions/checkout@v1 for "v1" CI jobs (#53)
• Use vMAJOR version for all applicable GitHub Actions (#53)
• Test new "push directly"-workflow with extra CI job (#53)
• Fix minor print statement errors (#53)