Merge pull request #81 from lindahua/master

DeExpr updated with a new SHA1
Update Debug.jl to work with recent Julia changes
PatternDispatch: replace deprecated functions
Update Rif/versions/0.0.0/sha1

Updated code base for Rif
Merge pull request #82 from lgautier/patch-7

Update Rif/versions/0.0.0/sha1
Bump CoinMP to fix deprecation warning
Add GLPK and LinProgGLPK
bump Oil sha1
Bump Profile sha1
Bump Profile sha1 again