Documentation improvements
- Use master instead of the nightlies as that is more stable
- Currently the Allen CI's documentation relies on the nightlies to be able to push the documentation. It would be better to have a solution that doesn't rely on them.
- Publish the documentation for every merge request