Github action to update documentation

[dpesce]

Rather than having to manually update the documentation through custom commits, it would be better to have an action that automatically updates the documentation every time a push is made.