Change leap to use dagrt.

1. dagrt.vm is now used in place of leap.vm, except for implicit
stuff, which remains in leap.

2. Tests that are also part of dagrt get removed.

3. Fix setup.py