jizz

jizzee
fixed zombie process due to unclosed pipe
Merge branch 'dev' of https://github.com/silverneko/miku into dev
various changes, including: rewrite makefile, change of project structure
new verdict
new verdict
added batchjudge
simplized code
simplified working directory
jizz
Merge branch 'dev' "much changes have been done"