Remove some prelude modules.

Specifically remove the LaTeX one which overwrites AUCTeX settings.
Add tip about SyncTeX.
Add suggested AUCTeX options.
Add Skim and SyncTeX compatibility.
Only enable Skim if it's detected to be present.