merge CryptDB & MySQL into a shell