Javascript library for manipulating graphs