Updated gitignore, build.sh check.sh
Updated documentation of specification