How to build your first bot on Josef (an overview)