rf_receiver: better logging
server: made use of IR provider
server: changed format of IR codes to hex
server: fixed bug of not deleting providers on device disconnect event
rf_receiver: more testing