Better javascript compression