Describir: Automatic Search of Cubes for Attacking Stream Ciphers