Switched to proper option parsing.
`vampire rewrite` now adds the appropriate pragma and import.