moved specifications to docs folder
Merge branch 'devel' into backend/parser

Pulling in documentation changes.