Disallowed diff views in robots.txt

concerns #440
Fixed paths for git_daemon

related to #559
Merge branch 'staging'
Merge branch 'master' into ontohub.org