Ticket #415: Rename test certificates with format-hinting extensions

.crt and .key are not very useful file extensions, as they describe the purpose of the file, and not how the file is encoded. This commit renames the file so that softwares guessing the format from the filename work correctly.