PHP: parse output of ifconfig (tested with Ubuntu Linux)