Remove example directory

See http://github.com/edwinb/idris-demos instead