Added gundo; adjust short-cuts; better Python3 syntax check