Completing index, Added GPL, FDL

A first version of the index has been added
until Chapter 5 (configuring MockGals).

A copy of the GPL and FDL was also added to the
manual.

All *.fns files is also set to be deleted in
doc/run.sh, to keep things clean.