added F12 binding for SyntasticCheck
added F9 and F10 bindings for Agda