Default libraries from board not installed in the VS-code environment

Server.h and esp32-hal.h are in the in the core, not in a library