Moved ltl2ba to subdirectory and renamed repository