Merge pull request #27 from erohkohl/tableau

Merge tableau calculus

README: added Python version, because tests do not run with Python 2.7