cosmetic changes
add auto test runnter
relocatable test runner
add 'make test' command
update test files
Merge pull request #10 from wasabiz/master

make testで自動テストできるようにした
[bugfix] fix array
add .proverc
Merge pull request #11 from wasabiz/master

add .proverc
Merge branch 'master' into support-struct
declaration of structure
support structure partially