Deploy documentation from the master branch instead of the develop branch to avoid inconsistencies (#642)