gitignore: add .patch and .midi extensions

- linux uses the .midi extension
- .patch files generated by git may be useful in some cases