run.py: Fix API user networking port forwarding

The API is listening to port 8000, not 8080.

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