Add URL for the generated documentation, update building instructions
Rename README.txt to .rst so Github can render it