Gravar-mail: Design and analysis of synthetic carbon fixation pathways