Add width/height options to badges; fix minor bug
Tweak some LaTeX looks; add extra option for program creation