link commit message to diff view
use short title in commit_message helper
add commit message and headers to diff view
Merge branch 'git' into develop
Merge branch 'develop' into develop.ontohub.org