Added support for labels in the non-native Program format. Labels are
in the form ":foo", used something like: "jump :foo . . . . :foo".
Fixed up the cabal file for distribution.