Allow for parsing in "const char*" instead of a file
Adding function to solve HTML inputs
Printing to stdout instead of stderr by default
Tuning the HTML interface a bit
Updating the default CNF to a smaller one