Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into master.  See the CAV14 submission for an explanation of the changes to the integer solver's behavior. If compiled against the our custom extension of glpk, https://github.com/timothy-king/glpk-cut-log, this should have substantial differences in behavior. This should have moderate performance differences for linear real and integer arithmetic even if these features are disabled.
Fixing a SWIG problem for RationalFromDoubleException.
Merge remote-tracking branch 'CVC4root/master'
Fixing name changes that cam in from the merge.
Merge pull request #18 from timothy-king/master

Merging in the glpk changes