Adds umbrella header. Fixes #8