ci because of updating ubuntu to 13.04
Merge branch 'master' of github.com:poppinlp/NKU