fix build of aldor user guide

That fixes small issues with the build of the aldor user guide and adds a makefile.