fixes to documentation of catkin

mostly around script installs