docker (libervia): expose HTTP and HTTPS ports

docker/libervia/Dockerfile

@@ -1,4 +1,4 @@
-FROM salutatoi/sat:latest
+FROM salutatoi/sat
 
 LABEL maintainer="Goffi <tmp_dockerfiles@goffi.org>"
 
@@ -13,5 +13,7 @@ RUN cd /src && hg clone https://repos.goffi.org/libervia && \
     ~/sat_env/bin/pip install -e libervia && \
     mv libervia/libervia.egg-info ~/sat_env/lib/python3.*/site-packages
 
+EXPOSE 8080 8443
+
 ENTRYPOINT ["libervia"]
 CMD ["fg"]