Results from a survey on tool use and workflows in alignment research — AI Alignment Forum