add GPLv3 license
add some comments for spec.scm
more bigger changes