DOC: Update code in installation guide, given move of polytope
DOC: make.bat did not survive the overhaul

It will need to be considered anew when we try to support Windows.