Added video.hpp header (for convenience with other modules); added option to specify list of headers for Java API generator