euspectre/kedr-doc

Documentation for KEDR project, plus some related stuff