Adding ability to put points in picture and also to highlight all integer points in a polyhedron plus fixing small bug
Merge branch 'master' of https://github.com/tkralphs/GrUMPy