Storing teaextract on github