Ignore Configfile.local

This is used to set host-specific build options for pconfigure.
Use the disassembler API for instruction::to_string()

Additionally, I've fixed many, many bugs in the disassembler API.  Now
it's actually got a chance of working a bit.  It's probably still not
great...