When a Pull Request changes the man/*.Rd files or any file that is used to build the documentation, deploy the documentation preview as we do in other repositories.

To be done when implementing #19 and #40