rasboanのliteをいれると、pythonのpicameraモジュールが入っていない様子。

なので、

# sudo apt-get update

# sudo apt-get install python-picamera python3-picamera

 撮った動画はh264形式でいまいち。

mp4に変換。

$ sudo apt-get install gpac -y