Update to work with unified builtins

Current version compiles against the unified-builtins2 branch of kframework/k with two changes - using a patch for kframework/k#549, and using the version of builtins/mint.k that @andreistefanescu is working on at https://raw.githubusercontent.com/andreistefanescu/k/unified-builtins2/include/builtins/mint.k

There are parse errors without 0640edb, which is a bit surprising.

test1 gets stuck while running, apparently from normType not reducing
I don't think this is needed