Added necessary plumbing for tests for dependency solver

All testing code is now in tests/Tests.hs, I also made a couple of small modifications in ResolveDeps which are needed for writing tests more conveniently
Use consistent style for lists! Same as the outermost list.