Update neuroproof paragraph with reference
Correct BGL reference and include citation
Add IPython, SNEMI, Raveler refs, fix monospace