dispol: display operations as ranges

Displays operations ranges more concisely. E.g.

{ 0x8901-0x8930 }

instead of

{ 0x8901 0x8902 0x8903 0x8904 80x8905 0x0806 ... 0x8930 }

(cherry picked from commit 7f1ec68362a36f1a63350295f2f9f7f420a55996)

Signed-off-by: Stephen Smalley <sds@tycho.nsa.gov>
1 file changed