#21 Rename HOL's Kernels

[Tjark Weber]

HOL4 comes with two kernels, called "standard" and "experimental". These names suggest a difference in stability that doesn't really exist any more: as far as I can tell, both kernels are mature for production use these days. At the same time, these names fail to explain the actual difference between the two kernels.

I'd suggest renaming the standard kernel to de Bruijn kernel, and the experimental kernel to name-carrying kernel. (Better suggestions are welcome, of course.) Build options and documentation should be adapted accordingly.

[Michael Norrish]

I agree this is a good idea. Maybe once I've released K6.