use red when formatting numbers
fix attributes for json_die() and json_usage()
switch to libutest for unit tests