Added SAT library and more nodejs code for matchmaking