Fix CI configuration

- Fix package dependencies
- Use separate files for versions and checkouts; this way we can use both development and CI