Infrastructure and core interfaces of LearnLib