chore: bump devctr version

there exists a new container, and old version was 79, so we add one to
the number to get 80.

Signed-off-by: Patrick Roy <roypat@amazon.co.uk>

Author: roypat

tools/devtool

@@ -68,7 +68,7 @@
 DEVCTR_IMAGE_NO_TAG="public.ecr.aws/firecracker/fcuvm"
 
 # Development container tag
-DEVCTR_IMAGE_TAG=${DEVCTR_IMAGE_TAG:-v79}
+DEVCTR_IMAGE_TAG=${DEVCTR_IMAGE_TAG:-v80}
 
 # Development container image (name:tag)
 # This should be updated whenever we upgrade the development container.