Moved documentation in readme to executable specification