Get rid of flymake completely
Fix auctex initialization

Fix some inline comments positions.