[packaging] make doc generation configurable as it takes a long time.
[ruby] make define order in insns_info.inc deterministic by sorting to prevent false rebuilds