Cambios a la introducción y documento base

Quité un par de comentarios de más, y tambien
opciones que no se estaban utilizando.
Además agregué un par de atajos para utilizar colores,
asi podemos comentar más fácil.

Signed-off-by: Cristian Maureira-Fredes <cmaurei@aei.mpg.de>