Add path to src when compiling Tests.v

This makes it possible to call make tests without make install.