Binary install, Linux

Should be very easy, simply start from 'make install' in Section 4.2.