Changed font to ProggyTiny, added support for auto-complete and rainbow-delimiters