Remove explicit dependency on ltl-dsl snapshot
Remove explicit dependency on ltl-dsl snapshot

Version 0.1.1 has been released, and the ProB 2 kernel depends on it,
so there's no need to depend on the snapshot here anymore.

bendisposto/prob2-ui,bendisposto/prob2-ui,bendisposto/prob2-ui,bendisposto/prob2-ui