sort plugins
Merge pull request #5067 from jagajaga/vim_plugins

sort plugins
agda-TotalParserCombinators: mark as broken

Due to 0.9 stdlib update, author notified.