This commit starts a new main branch that squashes with the complete
development history during the SemaGrow project (2012-2015). The
detailed history can be retrieved in the master and devel-semagrow
branches that are left to go stale for archival purposes.