Hangman: "This style of tactic proof is deprecated"

```
» idris --build hangman.ipkg
Type checking ./VectMissing.idr
Hangman.idr:205:8-13:This style of tactic proof is deprecated. See %runElab for the replacement.
Type checking ./Hangman.idr
```

idris version 1.0