Make debian building package a section of INSTALL.linux

darcs-hash:20090112181855-58252-f67cfdec7a35299e56eed0f84d2aad2884f747e5
Simplify and unify the installation procedures for all platforms

darcs-hash:20090112184116-58252-a500d7bd7740163c01becb23b97eb85a0e57e7e8