Frontends for MIDAS and their accompanying makefiles and other dependencies, principally used for supporting griffin.js