Removed archetypes (now at dedicated repository: http://github.com/LearnLib/learnlib-archetypes)