This is an open-source pixel annotation tool written in Python. This tool allows you to select pixels using flood fill, a lasso tool, and/or selecting single pixels. The code is available here (along with more information).