Install older version of gecode
Use php55
Update gem dependencies
Add new git alias
Add more aliases