Fix missing `{` when pretty printing empty record types
Correct link to travis ci build status badge