Move to Alice 1.7
Merge pull request #37 from baldurrensch/alice_1.7

Move to Alice 1.7