use github for RTiSYS

also remove py sources for less image size