Refactor judge core and settings tool

1. Move judge core binary file to `/usr/bin`, and get rid of `config.ini`.
2. Refactor settings, use database instead of `settings.xml`.