Deleting utils package
Deleting lksk package
Deleting old LK
Deleting proofs package
Deleting LK tests
Deleting old script
Modifications to pom files