Delete dev_notes.txt

This file was used briefly to justify various design decisions, but it was never maintained.