Update issue templates (rust-lang#1885)

Trying to get the new issue template to work. :(

Author: celinval

.github/ISSUE_TEMPLATE/code---infrastructure-improvement.md

@@ -1,7 +1,6 @@
 ---
 name: Code / Infrastructure Improvement
-about: 'Internal issues that track improvements that don't affect Kani users, e.g.:
-  CI, code clean up.'
+about: 'Internal issues that track improvements that don't affect Kani users, e.g.: CI, code clean up.'
 title: ''
 labels: "[C] Internal"
 assignees: ''