Nvidia updates programming tools to boost mobile device speed