Add :loadto command

Loads an input file up to the declaration beginning at the given line,
discarding any declaration after that.

This only really makes sense when developing interactively: it means you
can work on something at the top of a file without worrying about how it
affects what happens later (this also potentially makes it a lot
quicker!)

Latest idris-vim uses this.