Delete unused bin/demo_server.sh
Delete unused bin/demo_server.sh


Former-commit-id: b7b5a949e849da6c2031c9977a55227a6437fd83 [formerly d815989b30c78f3d69fa1fe271197139a25fe2d1] [formerly d815989b30c78f3d69fa1fe271197139a25fe2d1 [formerly c5b4d1b3e7b2383e12751ba15f962c654716efd6]]
Former-commit-id: 4d537a5c2f0cc87370107a79b55442aea4660c2b
Former-commit-id: 5c463993abe332b041311bea5b2254adf2614a86
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine