Get rid of copyright/license module attributes

These were starting to annoy me a little bit, and I don't see other
major Python libraries using them.
Top-matter cosmetic cleanup
Use coverage HTML reporting feature
Start testing DIMACS error conditions