Repository for JM's 2012 lensing codes, which should be improved