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`.

**DO NOT MERGE IT**

I'll close it if this changes is appropriate.

@lyhypacm @pfctgeorge