格式化DOS下时间输出
dos下由于时间格式不同，使用的echo时间的形式也可能不同，比较变态。跟机器设置有关：
请看：
U:\>echo %date%
09/29/2011 Thu
U:\>echo %time%
9:08:32.41
U:\>echo %date:~6,4%-%date:~0,2%-%date:~3,2%
2011-09-29
U:\>echo T%time:~0,2%%time:~3,2%%time:~6,2%
T 91417
U:\>set ttt=%date:~6,4%-%date:~0,2%-%date:~3,2%T%time:~0,2%%time:~3,2%%time:~6,2%
U:\>echo %ttt%
2011-09-29T 91605
这里就简单的记一笔吧。没什么实用价值。如果上边的date和time格式不一样，后边的变量设置就得变。
