Updated user manual in doc/ dir.