converted user guide & tutorials from tex to rst; added them into the whole documentation tree; added html_docs target.