Improve install docs, esp. for Ubuntu v12.04