Open pdf feature

It calls MasterTexFinder.getTexMaster() to find the name of the file being compiled. Then it invokes a pdf viewer on the file having the same base name as the latex master and .pdf extension.

Currently it supports only OS X and Preview, but the code is structured so to make it easy to implement new viewer for OS X or other operating systems.