add basic engine, break out some functionality from linear-check
Add info about basic engine to README.md
Merge pull request #4 from isakb/basic-engine

Add a basic engine