Run selected executables only

Passes the extra arguments to 'cabal run' to the build phase so that
only the requested executables are built. Fixes #1503.
Fix a ticket link.