add cool.flex
remove *.pdf from .gitignore
add cool_manual.pdf