add bing maps as new directions provider; update jquery timepicker; update translations; optimize uninstall.php