Version 1.0

This release includes code corresponding to the Math. Programming Computation paper "New computer-based search strategies for extreme functions of the Gomory--Johnson infinite group problem".

Moreover, the electronic compendium of extreme functions has been expanded, and various other improvements and bug fixes have been made.