Add possibility to override Tasty command line options

Created by: minad

Additional -optF arguments are passed to the Tasty test runner.

Example:

{-# OPTIONS_GHC -F -pgmF tasty-discover -optF --hide-successes #-}