Simplify .gitignore file
LinExpr() accepts rational numbers
Make Expression.subs() always return a LinExpr instance
Polyhedron() constructor can return Empty or Universe