Add dirtiness tracking for Idris mode

Now only reload files when they've changed since the last time they were
loaded. This makes C-c C-t useful on large files.

The loaded status is shown on the mode line to make any delays predictable.