An STC 8051 ISP programmer for linux