Add support for user-defined invariants

[ChrisTimperley]

https://plse.cs.washington.edu/daikon/download/doc/developer/Extending-Daikon.html#New-formatting-for-invariants

• Update Daikon class to compile .class file for user-provided invariant and add it to the CLASSPATH.