Lib to detect mobile devices (see also module_init.inc.php)