add GIMPS easyconfigs

this builds on top of PR #166 by @fgeorgatos, only fixes minor style issues