Moved MikTeX install into the main script
Ditching options for now - moving to Mac port