Renaming the whole thing

- "dev-tools" becomes "devtools"
- the bash-lib has to be updated
- new "md2man" action script