Makefile improvements, +setup-tup, +test-info

[elegios]

This PR includes a number of improvements primarily to the Makefile:

• It turns out you need + to propagate -jN flags from make test to misc/test.
• A new make target for initializing tup.
• A new make target for printing information about what tests have been run, partly as support for the new test script.
• Change back to using dune to "install" the boot package when building via tup, and all the hacks that entails.

The last point probably bears more explanation, since what's in the setup right now is very hacky. dune wraps libraries by default, i.e., when we write a module Intrinsics it's available as Boot.Intrinsics. This is a good idea, and we depend on it in our generated code. For some reason this wrapping seems to happen during dune install, not dune build, which means we need to use dune install rather than ocamlfind install (or at least I haven't figured out how to make the same wrapping happen with the latter). Unfortunately dune does not play nice at all with tup, so we have to do a bunch of things to accommodate it, which is the hacky stuff.