In the new caravel_user_project, should users put their code in caravel_user_project/openlane/user_proj_example subdirectories or in caravel_user_project/verilog? The config and pin files are in caravel_user_project/openlane/user_proj_example, so it is odd that the config files aren't up in the root more