Butler Modules Over Prüfer Domains