[Docker] add colored terminal

Dockerfile

@@ -42,5 +42,6 @@ RUN chown -R $UNAME:$GNAME /home/$UNAME
 USER $UNAME
 
 RUN echo "source \$VIVADO_PATH/settings64.sh" >> /home/$UNAME/.bashrc
+RUN echo "PS1='\[\033[1;36m\]\u\[\033[1;31m\]@\[\033[1;32m\]\h:\[\033[1;35m\]\w\[\033[1;31m\]\$\[\033[0m\] '" >>  /home/$UNAME/.bashrc
 
 WORKDIR /home/$UNAME/finn

run-docker.sh

@@ -74,7 +74,7 @@ docker build --tag=$DOCKER_TAG \
              --build-arg PASSWD=$DOCKER_PASSWD \
              .
 # Launch container with current directory mounted
-docker run --rm --name finn_dev_$DOCKER_UNAME -it \
+docker run -t --rm --name finn_dev_$DOCKER_UNAME -it \
 -e "XILINX_VIVADO=$VIVADO_PATH" \
 -e "SHELL=/bin/bash" \
 -v $SCRIPTPATH:/workspace/finn \