vimrc: highlight trailing space (from @xatier); filetype for tex, markdown, agda, sql, hspl, hspm
bashrc: path for android sdk