Add local maven repo for choco-solver. Add a basic constraint solver for class scheduling.