New binary format "Zehn"

Doesn't work yet.
Also changed some miscellaneous things, like exit and abort in stdlib.cpp