Doc markdown

The doc has been migrated to MarkDown.
Minor improvements, mainly copied from old txt files, except for install with catkin.