Updated user manual, README; fixed comments; set version to 0.9.