Added possibility to change color to link boxes, or remove them completely. Updated abstract examples.

Setting math names (proof, lemma, etc) according to selected language. Additional typo fixes and comment improvements.

load only listings by default