Revise, update and shorten the coding guidelines.

Remove obsolete advice, unnecessary polemics and rules that nobody infringes
anyhow and concentrate on the really useful advice.

Also change the order to be hopefully more useful for new contributors.