convert use of fancyvrb to listings
use microtype package
add bibliography; clean up titles