updated manual, started actually writing it and added a texinfo file of the documentation license