Merge remote-tracking branch 'upstream/master'
Updating: improving INT2PROGINATS
Updating: static/extern function names are now stamp-followed.
Updating: fixing typo
Updating: a minor fix
Updating: improving contrib/SDL2
Updating: S2Ewth -> S2Ewthtype
Updating: improving SDL2; adding SDL2_image
Updating: improving SDL2 and SDL2_image
Updating: improving SDL2 and SDL2_image
Updating: improving INT2PROGINATS
Updating: improving INT2PROGINATS
Updating: improving INT2PROGINATS
merging with upstream/master
removing accidentally included falcon change
Updating: improving INT2PROGINATS
Merge pull request #56 from bbarker/gurobi_addvars

merging with upstream/master
Updating: fixing a pattern matching bug; improving INT2PROGINATS
Updating: improving INT2PROGINATS
Updating: improving a bug-fix on pattern matching