Improve CI operations
Related to the following forum thread (https://forum.orekit.org/t/improve-tasks-performed-by-orekit-ci-pipeline/2803), two improvements can be performed to the Orekit CI pipeline:
- Check javadoc on short-lived branches (i.e., not only in develop, master, and release branches).
- Check javadoc before running tests