minimal AES library for arduino: 256 bit key + counter mode