configure.in: Put the auxiliary scripts in a useful place.