PHP Stomp Library