added new html5 and stylus plugins; Some web-related changes to support stylus; Temporary dsabled syntastic status line updates.