Fix #642: Deploy documentation from the master branch instead of the develop branch to avoid inconsistencies