RNA design: update on computational frameworks and programs for inverse RNA folding | Synapse