better documented
 - Added a note to manual.texi about using sysctl to tune Linux kernel
   parameters, corrected a wrong path name


Build-tools/Do-compile:
   - Removed some obsolete pieces of code (get rid of using rsh and rcp)
   - Added some code comments
   - Reworked help text to match the options available
   - Heavily reworked GetOptions, removed some obsolete ones and joined others
   - make_options and config_options can now be given multiple times
   - simplified code that added configure options dependent on given options
Docs/manual.texi:
   - Corrected location of boot.local init script on SuSE Linux
   - Add a note about using sysctl and sysctl.conf for changing kernel
     parameters