Automatic documentation package for Phrest