feat(src,include): dreal api header file

1. add a dreal api placeholder for creating solver