Move get_time() function to a new utils.c
Add some channel-changing benchmark stats on the console output
Speed up channel changing sligtly by tearing down the old OMX pipeline immediately, rather than waiting for the first packets from the next channel.
Merge remote-tracking branch 'upstream/master' into channellist

Conflicts:
	osd.c