Merge branch 'master' of github.com:luisgutz/dothome

* 'master' of github.com:luisgutz/dothome:
  emacs udapted, gitconfig too
  more changes for xmos
  updates for xmos
  added some xmos machines
  changed name of laptop
  xstartup: use kde instead of gnome top: show current column emacs: use tab to show/hide in certain modes
  added toprc
  added good vnc config
  added code folding 'hideshow-org'
  added gdb init
  better cscope integration, a bit of emacs gdb config
  updated for ARM env, better ignores, added gls-mode for emacs
  removed typo
  changed tabs to space again. tabs are evil.

Conflicts:
	.gitignore
Merge branch 'master' of github.com:luisgutz/dothome

* 'master' of github.com:luisgutz/dothome:
  updated verilog-mode
Merge branch 'master' of github.com:luisgutz/dothome

* 'master' of github.com:luisgutz/dothome: (91 commits)
  file no longer needed. config now in .cshrc.user
  initial commit for icera/nvidia settings
  no warning over reloading large files
  color prompt for gdb
  added more grid flags
  forced compilation on 8 cores on the grid
  tweaks for better functionality
  removed old plugin
  made gnodal env interactive, to speed up connection to host
  changed default version of ies, remove log before grid build
  commented out sync option
  no need to set PATH, might interfere with SGE
  commented most outputs
  added function to compile on grid
  create logs and increase parallel jobs to take advantage of new grid
  comment out most sge options
  better status for hg
  better coloring for gnodal logs
  new function for gdb
  better control over what to load
  ...

Conflicts:
	.gitconfig