added jalview.browser property so a linux user can choose which browser they want...