adding init-local.el loading proofgeneral and start auto-complete