Added indentation handling for the `record` keyword

Previously, in a situation such as the following:
```
record Hands : Type where|
```
pressing enter would cause idris-mode to complain of an `Illegal token: where`. It turned out that `idris-mode-indentation` was at least partially unaware of the `record` keyword. It should now handle this correctly.