TeXLight now has a dock icon