Makefile improvements

Some dependencies are specified (e.g html and all-pdf will do init and compile_messages); bail out on error inside loops..