[util/hb-shape] Accept an empty output-format that would skip output

Useful for benchmarking, to avoid buffer serialization overhead (which
seems to by far dominate shaping!)
[Android.mk] Remove -lpthread; we build with -DHB_NO_MT
[Android.mk] Whitespace
[Android.mk] Update source list