Add validation of selection.

 * The selection is parsed and verified, and a cube is calculated.
 * A list of implicants is added, where the implicants will be added.
Merge branch 'master' of github.com:zozs/karnaughgen
Minor wording changes in README.