- Updated INSTALL file;
- Removed unneeded pro.user file;
- Updated some comments.