Undo default port change to Tek5014.

Despite Oliver's insistence to the contrary, our Tek does not respond on
port 5025. =)
--BRJ and CAR
Add InstrumentLibraryFile preference to installer.

--BRJ and CAR