commit to merge
Merge branch 'master' of github.com:konoha-project/minikonoha
I'm in Rome, an eternal city and attending POPL2013