Agregando libkarel.py para validadores custom de Karel