Merge pull request #7 from sebasguts/master

New doc standard
Use new AutoDoc commands to create doc.

Also, maketest.g is now automatically created by AutoDoc.
Removed unnecessary files.

Renamed an example file because GAP Filename command does not handle files with : in its name.