Tidy urls now optional

Added new preference for enabling tidy urls
Fixed reload from history links
Fixed delay in opening options page