An open-source, customizable intermediate logic textbook