feat(src): add dreal api
chore(shell): add prompt for shell
chore(shell): include dreal header