Continuous Integration

See Issue #10.

Done:

• the project now compiles for Coq v8.{8,9},
• support for Coq v8.{6,7} has been dropped,
• all configure shell scripts are checked for POSIX compliance using shellcheck (see !3 (merged)),
• the org-mode Readme is checked using org-lint (see #11),