requested to merge 73-splits-escet-end-user-and-developer-documentation into develop
- Split ESCET end-user and developer documentation into two separate documentation sets.
- Renamed 'developer' to 'development' for dev docset.
- Renamed/moved the ESCET project documentation plugin/folder.
- Less cross-docset linking.
- AsciiDoc multi-page split fix fixes:
- Empty section bodies are now also removed.
- Removal of empty paragraphs/sections is now repeated until nothing left to remove.
Closes #73 (closed)