bump android tools to 20.0.0
add gerritt aliases