Added bin/labelcounts.py: A little utilily for printing the user label histogram for an .ilp
import cleanups