Enable verbose output by default, and convert timestamps to a human-friendly format

tools/itango/start-DS.sh

@@ -38,4 +38,5 @@ else
 fi
 deviceServerPath=${myDir/${HOME}/\/hosthome}
 
-docker exec -it itango python3 ${deviceServerPath}/${runThis} ${instance} ${@}
+# Tango log lines start with a UNIX timestamp. Replace them with the UTC time.
+docker exec -it itango python3 ${deviceServerPath}/${runThis} ${instance} -v ${@} | perl -ne 'use Time::Piece; s/^([0-9]+)/gmtime($1)->strftime("%F %T")/e; print;'