sophia-update: update master to the latest sophia-dev branch.
sophia-update: update submodule
Fix #490: implement sophia_dir
sophia-update: separate test suite
Fix #490: update tests
sophia-update: remove old test result file
Merge remote-tracking branch 'origin/sophia-update'