files:
README              this documentation file
Makefile            custom Makefile defines directory-specific dependencies (.v files and libraries)
Makefile.build      generic rules to make: clean, loadpath.v, Makefile.coq, .vo's

shell environment variables:
HTT_DIR             required: <htt path>/Makefile.build
SSRCOQ_LIB          required: <ssreflect path to .v and .vo files>
COQBIN              optional: directory containing ssrcoq, can be empty/undefined if ssrcoq is in the path

Makefile custom variables:
MODULES             required: module file names
COQLIBS             required: paths to .v files
