rasboanのliteをいれると、pythonのpicameraモジュールが入っていない様子。
なので、
# sudo apt-get update
# sudo apt-get install python-picamera python3-picamera
撮った動画はh264形式でいまいち。
mp4に変換。
$ sudo apt-get install gpac -y