Version 1.30.13 - July 2014

1. Removed .INTERMEDIATES from makefile. If a makefile terminates, the presence of this
ensured that all intermediate files are deleted. However, it is desirable that they are
only deleted after they have been successfully used by other tasks requiring them. Since
gkno explicitly handles deleting intermediate files, there is no benefit to the inclusion
if the .INTERMEDIATES field.