chore(src,include): dreal api header

1. add an empty dreal api header