I finally got my code working with Arduino Ethernet Shield and put it available at http://bitbucket.org/tkoskine/arduino-ethernet/.
Only receiving data via TCP client connections is supported, but I plan to improve the library as my time permits.
[more]