fixing comment
updating INSTALL
install.sh: making BUILD_DIR more robust
Merge branch 'master' of github.com:mininet/mininet