iang/prac @ 38ffde151ede52000dce26473f6ea6ba22685879

Ian Goldberg 38ffde151e git pull if the repo is already there		2 vuotta sitten
..
build-all-dockers	38ffde151e git pull if the repo is already there	2 vuotta sitten
parse_logs	b68f7cdf00 When parsing logs, parse the singular "1 millisecond" correctly	2 vuotta sitten
repro	73e07631c2 Don't run Figure 9 tests with "all"	2 vuotta sitten
repro-all-dockers	c0d56c237a repro-all-dockers script	2 vuotta sitten
stop-all-dockers	a115df588f Scripts to build and stop all five dockers	2 vuotta sitten