vim: remove bad whitespace highlight

Due to raichoo. Now in line with Idris-dev repo.