Log Message:
removed spin-license

On 30 December 2015 Alcatel-Lucent (the company that inherited Bell Laboratories \ 
from AT&T in the trivestiture from 1996) transfered the copyright to all \ 
sources to Gerard Holzmann, explicitly to enable a standard open source release \ 
under the BSD 3-Clause license. Starting with Spin Version 6.4.5 all Spin code, \ 
sources and executables, are now available under the BSD 3-Clause license.