Added theme button. Also added J.O. Aho as a contributor.