Moved to elasticsearch search engine instead of plain MySQL
Decoder now tries the MP3 specific opener when file has .mp3 extension

Still uses the global opener for other file extensions, this due to a
regression in the audiotools file recognizer that flags valid mp3 files
as non-mp3, failing to open these.
Fixed non-incrementing request count bug in IRC requester