First implementation of TokensWithBudget

It’s really slow right now, but its functional (produces all the
correct primes)
It uses a couple of temporary files that it deletes once it’s done