Simplified build notes to use menu items for running check tests from the eclipse interface.  This is ready for public consumption.
Simplified build notes to use menu items for running check tests from
the eclipse interface.  This is ready for public consumption.

lavabit/magma,lavabit/magma,lavabit/magma,lavabit/magma,lavabit/magma,lavabit/magma,lavabit/magma,lavabit/magma