Made "invariant exclude" table

You can enter the invariants to exclude by their function_name instead of their id. 
Also updated all indexes to be unique whenever possible.
I tried this for graph 7. The first three level are pretty quick. Level 4 is slower, probably about 8-10 minutes.