A mirror of the official maxima git repository + my branches