Another Ajax library for Hunchentoot