Move getstr prompt from hardcoded to parameter
Remove readme inconsistency

Technically, four-tet is still hardcoded as the default, but
it is now possible to switch users, so this is a bit misleading