DeviceDB can now be run inside Portal server. Modified DeviceDBService so that it can be used from within Portal and as a standalone service.