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