Remove 'localregistry' library

If we truly need it later, then we can easily reimplement this library. At that
point we might have a context (worker stealing?) that can inform the API design

Author: ssoelvsten

lib/Makefile

@@ -20,7 +20,6 @@ build:
 	$(COMPILER) ./declassifyutil.trp -l
 	$(COMPILER) ./stdio.trp -l
 	$(COMPILER) ./bst.trp -l
-	$(COMPILER) ./localregistry.trp -l
 
 clean:
 	rm -rf out