Computational Design of Hammerhead Ribozymes for Logic Computing and Disease Treatment