switched to new AutoDoc style
removed obsolete .hgignore
Subtitle: singular -> Singular
updated authors info
use homalg project style Version/Date
re-included VERSION
Add a .mailmap to fix bad author names in old commits
Remove two obsolete files in dev/