configurable optirun support on Linux

This change lets the user activate the use of optirun on Linux. optirun is needed to use the nvidia card on notebooks with the Optimus technology.