Índice, listas e manual

Inclusão de listas de abreviaturas, símbolos e índice
Atualização do manual para refletir as mudanças
Expansão das instruções do manual (compilação e instalação)