Javascript library for factoring integers