package automaton renamed into buchiautomaton
IncompleteBuchiAutomatonConstructorTest added
IncompleteBuchiAutomaton test modified with also Illegal Argument
exception in case of a null alphabet