Make the tests for afvm work properly

There is a problem with cygwin for the tabs in the Makefile and line
terminators
This weekend's work, bringing in vmgen documentation

Now there appears to be a problem exporting pdf output in Linux