Fix index key of defopt
Add /flycheck shared folder

Allows to work seamlessly on the VM, because Carton sometimes requires
the directory name to match the package name (e.g. for `carton package`)
Fix testsuite guidelines

Regression from d4886e3
Remove duplicate source file
Release 0.13