Minor change to vim key shortcuts

<leader>-p now runs semtex on main.stex instead of main.tex