Added an option to disable pre-mining rules#17

alexzheng587 wants to merge 5 commits intocorels:mastercorels/pycorels:masterfrom

alexzheng587:pre_minealexzheng587/pycorels:pre_mineCopy head branch name to clipboard