Updated pinmapping files, arguments to pinmap.js, documentation
Updated libfrozen; fixed pasm clean; added deps to make clean; fixed bug in json outputting