Fix string_format() to not return null-terminated strings
Ignore coverage files
Parameterize select_jobs() to allow selecting hosts by hostname