Upgrade build; use AI2 plugins; format

I'll be able to clean up the build some more later.