moved all editable customizations to open-logic-config.sty. in its place open-logic.sty will load a modified \jobname-config.sty if it exists. Cleaned up various configs, moved open-logic-tokens.sty into open-logic-config.sty. Theorems now use thmtools package.