avi can be started with no args

Closes #2.
Name some facts
Widen our test editor to 20, shorten filename
avi can start with non-existant file