Doc: fix deployment tool name

Change-Id: I38d438675452f1721be2729a6c12475bb678ece3
Reviewed-by: Maurice Kalinowski <maurice.kalinowski@digia.com>
Reviewed-by: Oliver Wolff <oliver.wolff@digia.com>