Removes empty license file.
Ignores temporary files and compiled output.
Adds extra complexity classes.
Adds translation of V-V theorem to NNC(polylog).