automate documentation conversion to md for leap_doc
I think that I could hack together a script to convert the .rst documentation to .md, since rst seems not to be very well supported atm.
We wouldn't have to convert everythin, it should be enough with the main user, tester and developer pages.
Things to take into account:
- Add @nav_title and @title headers.
- Fix :refs: and internal links used by sphinx rst.
(from redmine: created on 2013-09-25, closed on 2013-10-22, relates #4239 (closed))