Upstream changes to (currently embedded) packages again
The Curry packages that are currently embedded in the src
folder (abstract-curry, currypath, containers, ...) should be upstreamed again, once #33 (closed) is in place, and added as dependencies instead.