Texas town turns abandoned Wal-Mart into public library