Added method in main to set split default behavior.
Merge branch 'experiment' of https://github.com/avigad/polya into experiment