Add ability to include sources into posts from files
Fix reading accidental binary files in extra post files
Add some Agda code