Change the main configuration format

- replaced two block names in the configuration file
-- "validator-config" into "validator"
-- "symbol-table" into "symbol"
Merge pull request #49 from takahi-i/change-config-format

Change the main configuration format