Turn Minerva into an extension

Actually do what I said in the last commit
Add extension credits