Update link to larger pre-computed databases

Merge pull request #10 from mrphrazer/testcases

Merge pull request #9 from mrphrazer/synthesis_compile

format

refactored

added testcases

cached expressions

compiled evauation in synthesis state

added clean error handling

Merge pull request #6 from trumank/oracle-shelve

Add --sqlite flag to README and add sqlite test

Move oracle sqlite handling into utils/sqlite.py

Merge pull request #8 from trumank/compile-memoize

Add shared subexpression test

Fix compile_expr_to_python not memoizing subexpressions