Gravar-mail: Minimal genome encoding proteins with constrained amino acid repertoire