Instructions added for installing a recent version von Redis.
Cosmetics.
Only show user for recently updated ontologies on home#show, if it is present. Fixes #464.
Merge branch 'staging'
Merge branch 'master' into ontohub.org