Remove outdated INSTALL instructions.
Rename src to tau