make a separate aux file for each spec; add more cleanly parsed specs; rename according to Julia's package system