tools for ubuntu touch sdk