Updated header links - about, cite
Merge commit 'd5ee37dffbb68bdba9405186ca45339b33e29261'
add imports. Fixes #740
eclipse config
Handle new format of MGI identifier. Fixes #782
merge master into beta branch
merge beta branch into emma