PX4 Continuous Integration

PX4 builds and testing are performed using GitHub actions and a Jenkins server.