invenio-build: kill running server fix

* The script will now kill inveniomanage and all spawned child processes.

Signed-off-by: Adrian-Tudor Panescu <adrian.tudor.panescu@cern.ch>