Without UML Graphs autogenerated, because there is a bug in Graphviz for
Windows 8.1
Merge branch 'master' of https://github.com/gsi-upm/SHANKS