Move ltl2ba to github.
Move ltl2ba to github.

This is necessary for Github pages to work.
Github pages can not checkout non https things.

utwente-fmt/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,trolando/ltsmin,Meijuh/ltsmin,trolando/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,trolando/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,trolando/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,alaarman/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin