A script to automatically check whether label numbers have changed

Run it with "make labelcheck".