Irda: Add Irda System Service

This is not a perfect solution yet, but it does work and should therefore be a starting point.
It needs work to be functional on devices other than the Galaxy S4

* The Irda service is not started by default. It can be enabled via overlay.
* Uses a HAL module to communicate with sysfs

PS2:
Resolve conflicts

Change-Id: I186bcb935ccde3e682851bc9d39da70fd21746c5
Merge "Irda: Add Irda System Service" into jellybean-mr2.1