Update mgmt.git head

The failing "make clean" is annoying, and solved in the newer mgmt.git.

Signed-off-by: Nadav Har'El <nyh@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>