Add a push command that supports glob expressions

Note that vanilla adb does not support glob expressions, see e.g. http://stackoverflow.com/questions/12901240/adb-push-multiple-files-with-the-same-extension.