[POPL Concurrent] Added java exercise 3 (the 1717171717 problem)
[SYAC Compilers] Added pretty print function to M semantics
[SYAC Compilers] Use per-practical directories