Reflect changes to ISA

Conflicts:

	isa/Makefile
Add autoconf-generated configure